armstrong axioms

阿姆斯壮公理